propositional formula

命题公式